/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package alloy2code;

import alloy2code.Translator;
import edu.mit.csail.sdg.alloy4compiler.ast.Func;
import edu.mit.csail.sdg.alloy4compiler.ast.Sig;

/**
 *
 * @author Daniel
 */
public class AdaTranslator implements Translator {
    
    public String PredTranslate(Func f) {
        return "procedure "+f.label+"();";
    }

    public String PrecondTranslate(String pre) {
        return "--"+pre;
    }

    public String PostcondTranslate(String pos) {
        return "--"+pos;
    }

    public String SigTranslate(SigData s) {
        throw new UnsupportedOperationException("Not supported yet.");
    }
}
